Finite automata

Results: 673



#Item
11Computational complexity theory / Finite automata / Complexity classes / Theory of computation / Nondeterministic finite automaton / Regular language / PSPACE / Bchi automaton / FO / Permutation / IP / Structure

On the Complexity of Universality for Partially Ordered NFAs∗ Markus Krötzsch1 , Tomáš Masopust2 , and Michaël Thomazo3 1 Institute of Theoretical Computer Science and Center of Advancing

Add to Reading List

Source URL: korrekt.org

Language: English - Date: 2016-06-13 07:14:39
12Formal languages / Finite automata / Mathematics / Combinatorics / Pattern matching / Regular expression / Finite-state machine / Discrete mathematics / Regular language / Expression

Regular Expressions and Finite-State Automata Motivation

Add to Reading List

Source URL: cl.indiana.edu

Language: English - Date: 2016-01-11 11:30:20
13Finite automata / Automata theory / Nondeterministic finite automaton / Deterministic automaton / Theoretical computer science / Finite-state machine / Deterministic finite automaton / Computability / Regular language / NP / Muller automaton / Bchi automaton

Session F2C NON-DETERMINISM IN CS HIGH-SCHOOL CURRICULA Michal Armoni 1 and Judith Gal-Ezer 2 Abstract - One of the units in the relatively new high school CS curriculum which is being implemented in Israel is a

Add to Reading List

Source URL: www.openu.ac.il

Language: English - Date: 2009-03-16 13:56:00
14Finite automata / Timed automaton / Logic in computer science / Automated planning and scheduling / Fluent / Finite-state machine / Theoretical computer science / Planning Domain Definition Language / Models of computation

Microsoft Word - IBSAlgorithms.doc

Add to Reading List

Source URL: foibg.com

Language: English - Date: 2015-02-02 08:45:53
15Formal languages / Combinatorics / Mathematics / Combinatorics on words / Discrete mathematics / Theoretical computer science / Models of computation / Finite automata / Automata theory / Pushdown automaton / Finite-state machine / Alphabet

Intl. Symposium on Experimental Robotics, JuneLinguistic Composition of Semantic Maps and Hybrid Controllers ? Neil Dantam, Carlos Nieto-Granda, Henrik Christensen, and Mike Stilman Center for Robotics and Intelli

Add to Reading List

Source URL: www.neil.dantam.name

Language: English - Date: 2016-07-08 17:59:42
16Computing / Information science / Computer programming / Arrays / Finite automata / Data management / Record linkage / Suffix array / Suffix / Search engine indexing / Blocking / Trie

TKD00013 ACM (Typeset by SPi, Manila, Philippines)

Add to Reading List

Source URL: pmg.it.usyd.edu.au

Language: English - Date: 2011-10-04 00:19:28
17Philosophy / Abstraction / Logic / Knowledge representation / Leader election / Consensus / Torus / Typetoken distinction / Token coin / Node

Black Hole Search and Exploration in Unoriented Tori with Synchronous Scattered Finite Automata Euripides Markou1,? and Michel Paquette2,?? 1

Add to Reading List

Source URL: emarkou.users.uth.gr

Language: English - Date: 2016-05-24 11:28:43
18Philosophy / Logic / Structure / Abstraction / Knowledge representation / Metalogic / Philosophy of language / Philosophy of logic / Typetoken distinction / Token coin / Ring network / Token

Black Hole Search with Finite Automata Scattered in a Synchronous Torus J´er´emie Chalopin1 , Shantanu Das1 , Arnaud Labourel1 , and Euripides Markou2 1 2

Add to Reading List

Source URL: emarkou.users.uth.gr

Language: English - Date: 2016-05-24 11:28:43
19Finite automata / Q0 / Powerset construction

Equivalence of DFA and NFA • NFA’s are usually easier to “program” in. • Surprisingly, for any NFA N there is a DFA D, such that L(D) = L(N ), and vice versa. • This involves the subset construction, an impor

Add to Reading List

Source URL: www.cs.ucr.edu

Language: English - Date: 2015-01-28 19:24:36
20Finite automata / Mathematics / Science and technology / Mathematical analysis / Nondeterministic finite automaton / Finite-state machine / Automaton / John von Neumann / Deterministic finite automaton

Advantages and challenges of programming the Micron Automata Processor

Add to Reading List

Source URL: ontopilot.com

Language: English - Date: 2016-03-21 13:57:59
UPDATE